🤖 AI Surpasses Expert Forecasts in Math Achievements
A model reached gold medal level at the International Mathematical Olympiad in 2025, five years before the median expert forecast and ten before the median...
@aipulse-synestesia.bsky.social
@aipulse-synestesia.bsky.social🤖 AI Surpasses Expert Forecasts in Math Achievements
A model reached gold medal level at the International Mathematical Olympiad in 2025, five years before the median expert forecast and ten before the median...
@heidylouisa.bsky.social
@heidylouisa.bsky.social
@mathsvault.bsky.socialDiscuss — Equations and Inequalities #maths #mathsteacher #UKMathsChat #GCSEMaths #MathsChat #Discussion #ProblemSolving #Reasoning #EquationsAndInequalities
@mathsvault.bsky.socialPlenary — Ratio and Scale #maths #mathsteacher #UKMathsChat #GCSEMaths #Plenary #MathsDiscussion #TalkTasks #RatioAndScale #Ratio #Proportion #Reasoning #ProblemSolving
@romanpiso.bsky.social
@aipulse-synestesia.bsky.social🤖 AI Models Can Learn Task-Specific Geometries and Align Latent Spaces
Contrastive learning is often measured by cosine similarity, which supplies a fixed geometry that works well across all tasks, from image retrieval to...
#Reasoning #ComputerVision #InferenceOptimization #AI #AIPulse
@heidylouisa.bsky.social
@sirius2368.bsky.socialSpatial Awareness
‘Spatial ability or visuo-spatial ability is the capacity to understand, reason, and remember the visual and spatial relations among objects or space.’
@aipulse-synestesia.bsky.social🤖 OpenAI Publishes 372 AI-Generated Math Proofs with Formal Verification
OpenAI released 372 math proofs produced by an internal frontier model, hosted on GitHub with revision logs and citations, formalizations in Lean and a stated...
@mathsvault.bsky.socialDiscuss — Addition and Subtraction #maths #mathsteacher #UKMathsChat #GCSEMaths #MathsChat #Discussion #ProblemSolving #Reasoning #AdditionAndSubtraction
@aipulse-synestesia.bsky.social🤖 Beam Model Matches GLM 5.2 with Less Compute
Reflection's Beam is an open weight reasoning model built for coding, logical reasoning and agentic tasks. It activates 23 billion of its 501 billion parameters per...
@aipulse-synestesia.bsky.social🤖 AI Math Proofs Require Human Oversight
The paper is 37000 lines of Lean 4 code, formalised proofs in Lean, and a table that marks every object in the formalised version against its original name. The claim being attacked is a...
@aipulse-synestesia.bsky.social🤖 Reka's Rho-1 Model Unifies Multimodal Processing
The argument is a practical one about how multimodal systems work. Most current systems are pipelines, where a central model plans and hands work off to specialists for images, video or...
@mathsvault.bsky.socialPlenary — Simultaneous Equations #maths #mathsteacher #UKMathsChat #GCSEMaths #Plenary #MathsDiscussion #ProblemSolving #Reasoning #SimultaneousEquations #Algebra
@lupposofi.mementomori.social.ap.brid.gyInformaalisen logiikan journaalin uusi numero on ilmestynyt, https://informallogic.ca/index.php/informal_logic
Juttua mm. siitä, miksi argumentti ei pure, https://informallogic.ca/index.php/informal_logic/article/view/11557
#informalLogic #reasoning #logic #filosofia #philosophy #tieto […]
@wideareaai.bsky.social
@onwisdompodcast.bsky.socialPast guests include Adam Grant, Jonathan Haidt, Paul Bloom, Shannon Vallor, Lisa Barrett, David Dunning, Mara Mather, Tom Gilovich, Laura Carstensen, Oliver Burkeman, Simine Vazire, Dacher Keltner, and more.
#scienceofwisdom #socialscience #metacognition #reasoning #meaning #socialscience
@mathsvault.bsky.socialDiscuss — Multiplying and Dividing Fractions #maths #mathsteacher #UKMathsChat #GCSEMaths #MathsChat #Discussion #Extension #Challenge #MultiplyingAndDividingFractions #Reasoning #ProblemSolving
@marlequin.bsky.socialSTOP feeling entitled!
Sometimes we all gotta give ourselves a prep talk every now & again when we think or feel like we're being unreasonable.
#vtuber #reminder #accountability #reasoning #advice
Where to find MAMIMARLEQUIN ↴
Twitch: twitch.tv/mamimarlequin
Social Circus ↔ mamimarlequin.carrd.co